Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
101	Concurrently-Secure Blind Signatures without Random Oracles or Setup Assumptions? Carmit Hazay1 , Jonathan Katz2 , Chiu-Yuen Koo2 , and Yehuda Lindell1 1 Bar-Ilan University. Add to Reading List Source URL: www.eng.biu.ac.il Language: English - Date: 2014-09-16 08:30:47 Digital signature RSA Random oracle Commitment scheme Cryptographic protocol Model theory XTR Cryptography Public-key cryptography Blind signature
102	Identifying Consumers’ Arguments in Text Jodi Schneider1 and Adam Wyner2 1 2 Add to Reading List Source URL: jodischneider.com Language: English - Date: 2012-09-24 10:51:11 Critical thinking Knowledge Logic Epistemology Argumentation theory Argument Scheme Deductive reasoning Defeasible reasoning Reasoning Science Arguments
103	Efficient Set Operations in the Presence of Malicious Adversaries Carmit Hazay∗ Kobbi Nissim† November 25, 2010 Add to Reading List Source URL: www.eng.biu.ac.il Language: English - Date: 2010-11-25 08:58:28 Computational complexity theory Secure multi-party computation Commitment scheme Homomorphic encryption Secure two-party computation Paillier cryptosystem Oblivious transfer Zero-knowledge proof Communication complexity Cryptography Cryptographic protocols Public-key cryptography
104	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
105	Rapid Case Dispatch in Scheme William D Clinger Northeastern University Abstract Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:12 Procedural programming languages Compiler construction Lisp programming language Cross-platform software Functional languages Scheme Lisp Compiler ALGOL 68 Software engineering Computing Programming language theory
106	The Revised R6RS Status Report Marc Feeley ´ Universite´ de Montreal Add to Reading List Source URL: www.schemers.org Language: English - Date: 2004-10-20 19:21:36 Functional languages Scheme Scheme programming language Racket Lisp programming language Hygienic macro Lisp Continuation Matthew Flatt Software engineering Programming language theory Computing
107	Form over Function Teaching Beginners How to Construct Programs (Distilled Tutorial) Michael Sperber Marcus Crestani Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-05-30 22:41:02 ProgramByDesign How to Design Programs Computing Programming language theory Algorithm Scheme Shape Computer science Scheme programming language Computer science education Java programming language
108	Table of contents of EGA I–IV Chapter 0. Preliminaries (In Volume I) §1. Rings of fractions 1.0 Rings and algebras 1.1 Radical of an ideal; nilradical and radical of a ring Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2013-11-07 14:31:07 Sheaf theory Scheme theory Algebraic topology Homological algebra Coherent sheaf Flat morphism Sheaf Proper morphism Scheme Abstract algebra Algebraic geometry Algebra
109	CS 342 Lecture 8 1 Data Abstraction Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-02-23 13:58:07 Lambda calculus Applied mathematics Scheme Computer science Programming language theory
110	Introduction Related Works Proposal Hashing Conclusion How to Hash into Elliptic Curves Thomas Icart Add to Reading List Source URL: www.iacr.org Language: English - Date: 2009-10-23 17:02:32 Analytic number theory Elliptic curve Group theory Mathematics Hash function Cryptographic hash function Information retrieval Artificial intelligence Boneh/Franklin scheme Cryptography Search algorithms Hashing

UPDATE